Introduction to Stable homotopy theory ­­ P in nLab   Introduction to Stable homotopy theory ­­ P

Source URL: dl.dropboxusercontent.com

Homotopy Equivalences of 3-Manifolds and Deformation Theory of Kleinian Groups Richard D. Canary Darryl McCullough

Source URL: www.math.lsa.umich.edu

Overview History Homotopy Type theory Conclusions Constructive Axiomatic Method in Euclid, Hilbert

Source URL: philomatica.org

Derived functors in group theory and homotopy theory Roman Mikhailov (St. Petersburg State University) Every two-sided ideal a in the integral group ringZ[G] of a group G determines a normal subgroup F ∩ (1 + a) of G,

Source URL: www.7ecm.de

• Algebra
• Mathematics
• Abstract algebra
• Homotopy theory
• Functors
• Homological algebra
• Inder Bir Singh Passi
• Homotopy group
• Derived functor
• Homology
• Normal subgroup
• Natural transformation

Introduction to Stable homotopy theory ­­ 2 in nLab   Introduction to Stable homotopy theory ­­ 2

Source URL: dl.dropboxusercontent.com

TILTING THEORY FOR TREES VIA STABLE HOMOTOPY THEORY ˇTOV ˇ ´ICEK ˇ

Source URL: www.math.ru.nl

Introduction to Stable homotopy theory ­­ 1 in nLab   Introduction to Stable homotopy theory ­­ 1

Source URL: dl.dropboxusercontent.com

Recent progress in Homotopy type theory Egbert Rijke Bas Spitters Radboud University Nijmegen

Source URL: www.cs.ru.nl

Non-Statement View of Theories Computer Modeling and Model-Based KR Semantic approach Homotopy Type theory Modeling with HoTT Concluding Remarks

Source URL: philomatica.org

HOMOTOPY LIMITS IN TYPE THEORY JEREMY AVIGAD, KRZYSZTOF KAPULKIN, AND PETER LEFANU LUMSDAINE Abstract. Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized

Source URL: peterlefanulumsdaine.com